System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
51	Composition for Component-Based Modeling? Gregor G¨ossler1 and Joseph Sifakis2 1 1 Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:37 Object-oriented programming Distributed computing Process calculus SIGNAL Modeling language Component-based software engineering System
52	Photochemistry and aerosol modeling Polyphemus Training Session About Purpose: introduction to the Polyphemus system : preprocessing raw data and launching one simulation. Very basic post-processing is also presented. Add to Reading List Source URL: cerea.enpc.fr Language: English - Date: 2009-06-19 06:56:07 Preprocessor Programming language implementation Polyphemus Configuration file MOZART
53	Efficient Specialisation in Prolog Using a Hand-Written Compiler Generator Michael Leuschel and Jesper Jørgensen Declarative Systems and Software Engineering Group Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:03 Programming paradigms Programming language implementation Functional languages Evaluation strategy Partial evaluation Type system Compiler Prolog Logic programming XPL Interpreter Generic programming
54	Preface This book (CS:APP) is for computer scientists, computer engineers, and others who want to be able to write better programs by learning what is going on “under the hood” of a computer system. Our aim is to exp Add to Reading List Source URL: csapp.cs.cmu.edu Language: English - Date: 2009-10-05 18:38:15 Software Parallel computing Assembly language Programming language implementation Unix Operating system Computer program D Kernel Mach Computer Programming language
55	SPECIAL SECTION DISTRIBUTED PROGRAMMING IN ARGU!S Argus-a programming language and system developed to support the implementation and execution of distributed programs-provides mechanisms that help programmers cope with Add to Reading List Source URL: css.csail.mit.edu Language: English - Date: 2014-12-08 14:33:01 Transaction processing Concurrency control Data management Databases Unix signal Lock Linearizability Hash table File locking Serializability Monitor Two-phase commit protocol
56	Inference and enforcement of data structure consistency specifications Brian Demsky1 , Michael D. Ernst2 , Philip J. Guo2 , Stephen McCamant2 , Jeff H. Perkins2 , Martin Rinard2 University of California at Irvine, Irvine Add to Reading List Source URL: pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Internet Standards Internet protocols Computability theory Daikon Software testing Domain Name System Security Extensions Domain Name System Freeciv Programming language Object Process Methodology Specification language Internet protocol suite
57	VACANCY: SOFTWARE DEVELOPER UPDATED: S-PLANE Automation (Pty) Ltd Automation Innovation S-PLANE is an internationally recognised aerospace and defence company specialising in product Add to Reading List Source URL: www.ee.sun.ac.za Language: English - Date: 2016-05-17 09:18:57 Unmanned aerial vehicles Avionics Robotics System programming Extensible Application Markup Language
58	The F# 4.0 Language Specification Note: This documentation is the specification of version 4.0 of the F# language, released inDiscrepancies may exist between this specification and the 4.0 implementation. Som Add to Reading List Source URL: fsharp.org Language: English - Date: 2016-08-15 16:34:27 Functional languages Object-oriented programming languages Data types Parsing Type theory F Sharp Lexical analysis Type system OCaml Anonymous function Scala Type inference
59	A Practical Optional Type System for Clojure Ambrose Bonnaire-Sergeant Supervised by Rowan Davies This report is submitted as partial fulfilment Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2012-12-09 00:09:47 Functional languages Type theory Type systems Scripting languages Cross-platform software Clojure Gradual typing Functional programming Lisp Type inference Dynamic programming language ML
60	Preface This book (CS:APP) is for computer scientists, computer engineers, and others who want to be able to write better programs by learning what is going on “under the hood” of a computer system. Our aim is to exp Add to Reading List Source URL: csapp.cs.cmu.edu Language: English - Date: 2010-02-14 12:52:36 Parallel computing Assembly language Programming language implementation Operating system Low-level programming language Unix Kernel Program optimization Computer architecture Computer D X86 assembly language

UPDATE